Query Failure Explanation in Inconsistent Knowledge Bases: An Argumentation Approach
نویسندگان
چکیده
We propose an argumentation based explanation for query failure explanation under ICR-semantics in an Ontology-Based Data Access (OBDA) setting. We use a rule-based language and we base our work on the equivalence between ICRbased query answering in inconsistent knowledge bases and sceptical acceptance of arguments. We propose a multilevel explanation that exploits both the inference power of the logical language as well as argument’s dialectical nature.
منابع مشابه
Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation
We address the problem of explaining Boolean Conjunctive Query (BCQ) failure in the presence of inconsistency within the Ontology-Based Data Access (OBDA) setting, where inconsistency is handled by the intersection of closed repairs semantics (ICR) and the ontology is represented by Datalog+/rules. Our proposal relies on an interactive and argumentative approach where the processes of explanati...
متن کاملQuery Answering Explanation in Inconsistent Datalog +/- Knowledge Bases
The paper addresses the problem of explaining Boolean Conjunctive Query (BCQ) entailment in the presence of inconsistency within the OntologyBased Data Access (OBDA) setting, where inconsistency is handled by the intersection of closed repairs semantics (ICR) and the ontology is represented by Datalog+/rules. We address this problem in the case of both BCQ acceptance and failure by adopting a l...
متن کاملManaging Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach
Inconsistent knowledge bases usually are regarded as an epistemic hell that have to be avoided at all costs. However, many times it is di cult or impossible to stay away of managing inconsistent knowledge bases. In this paper, we introduce an argumentation-based approach in order to manage inconsistent possibilistic knowledge bases. This approach will be exible enough for managing inconsistent ...
متن کاملDALEK: A Tool for Dialectical Explanations in Inconsistent Knowledge Bases
In this paper we present a prototype of a framework called dalek (DiALectical Explanation in Knowledge-bases). This framework implements dialectical approaches to explain query answers in inconsistent knowledge bases. The motivation behind the prototype is as follows: given an inconsistent knowledge base represented within Datalog±, a semantics for handling inconsistency and a query Q, the goal...
متن کاملExplanatory dialogues with argumentative faculties over inconsistent knowledge bases
We introduce a formal model of explanatory dialogue called EDS. We extend this model by including argumentation capacities to facilitate knowledge acquisition in inconsistent knowledge bases. To prove the relevance of such model we provide the dalek (DiALectical Explanation in Knowledge-bases) framework that implements this model. We show the usefulness of the framework on a real-world applicat...
متن کامل